The simulate command takes two parameters. The first parameter
is the located protocol description and the second parameter is the event list to
be simulated against the protocol.

For example, if the user is in the top level folder of the Scribble tools distribution,
without the bin folder being added to the system path, then the
following command can be executed to simulate the protocol description:

bin/simulate.sh samples/purchasing/Purchasing@Buyer.spr samples/purchasing/Purchasing@Buyer.events

The event file is a comma separated value (csv) format, with the first
column representing the event type, and the second representing the value relevant for the
event type. The event types are listed below:

• send
  The value represents the message type.

• receive
  The value represents the message type.

The event file used in the sample command above is:

send,Order
receive,Confirmation

and the result of running the command is:

INFO: Validated Send Order
INFO: Validated Receive Confirmation